Section: Dissemination

Scientific Animation

Academy Members, Professional Societies

Patrick Cousot is a member of the Academia Europaea .

Patrick Cousot is member of the IFIP working group WG 2.3 on programming methodology.

Patrick Cousot is a member of the Board of Trustees and of the Scientific Advisory Board of the IMDEA -Software (Instituto madrileño de estudios avanzados—Research Institute in Software Development Technology), Madrid, Spain and of the Asian Association for Foundations of Software (AAFS).

Collective Responsibilities

Patrick Cousot is director of studies in computer science at ENS and member of the commission de spécialistes (hiring committee) of ENS.

Patrick Cousot, Antoine Miné and Xavier Rival are members of the lab council of the Laboratoire d'Informatique de l'École normale supérieure.

Jérôme Feret was a member of the comité de sélection (hiring committee) to hire an assistant professor at the Université de Lille 1.

Editorial Boards and Program Committees

— Patrick Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and of the Journal of Computing Science and Engineering (JCSE, Kiise).

Patrick Cousot is member of the steering committees of the Static Analysis Symposium (SAS) and the Verification, Model-Checking and Abstract Interpretation (VMCAI) international conference.

Patrick Cousot was member of the program committees of the Verified Software: Theories, Tools and Experiments (VSTTE 2012), Philadelphia, USA, January 28-29, 2012; Hybrid Systems: Computation and Control (HSCC 2012), Beijing, China, April 17-19, 2012; the Programming Languages day 2012, IBM Thomas J. Watson Center, New York, USA, June 29, 2012; the 19th Static Analysis Symposium (SAS 2012), Deauville, France, September 11-13, 2012; Hybrid Systems: Computation and Control (HSCC 2013), Philadelphia, PA, USA, April 9-11, 2013.

Patrick Cousot was the co-program committee chair of the Workshop on Systems Biology and Formals Methods (SBFM 2012), New York, NY, USA, March 29-30, 2012.

— Radhia Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and the Central European Journal of Computer Science (CEJCS, Versita & Springer).

Radhia Cousot is member of the steering committees of the Static Analysis Symposium (SAS), the Workshop on Numerical and Symbolic Abstract Domains (NSAD), the Workshop on Static Analysis and Systems Biology (SASB) and the Workshop on Tools for Automatic Program AnalysiS (TAPAS).

Radhia Cousot is the program committee chair of the 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2013), Rome, Italy, January 23-25, 2013.

Radhia Cousot was member of the program committee of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), January 22-24, 2012, Philadelphia, USA and Radhia Cousot is a member of the 5th NASA Formal Methods Symposium (NFM 2013), May 13-16, 2013, NASA Ames Research Center, California, USA.

— Jérôme Feret is a member of the editorial board of the Frontiers in Genetics journal.

Jérôme Feret is a member of the steering committee of the Workshop on Static Analysis and Systems Biology (SASB).

Jérôme Feret was co-program committee chair of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Deauville, France, September 10, 2012; and of the Workshop on Systems Biology and Formals Methods (SBFM 2012), New York, NY, USA, March 29-30, 2012 and Jérôme Feret is co-program committee chair of the 4th International Workshop on Static Analysis and Systems Biology (SASB 2013), Seattle, WA, USA, June 2013.

Jérôme Feret was member of the program committees of the 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012), St Maarten, Netherlands Antilles, March 25-30, 2012; the 2nd International Workshop on Interactions between Computer Science and Biology (CS2Bio 2012), Stockholm, Sweden, June 16, 2012; the International Symposium on Foundations of Health Information Engineering and System (FHIES 2012), Paris, France, August 27-28, 2012; the 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2013 ERC), Rome, Italy, January 23-25, 2013. Jérôme Feret is member of the program committee of the 5th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2013), Lisbon, Portugal, March 24-29, 2013; the 4th International Workshop on Computational Models for Cell Processes (CompMod 2013), Turku, Finland, June 11, 2013.

— Jonathan Hayman was a member of the program committees of the 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2013 ERC), Rome, Italy, January 23-25, 2013.

— Antoine Miné is a member of the editorial boards of The Scientific World Journal in Computer Science and the Conference Papers in Computer Science journal.

Antoine Miné was co-chair of the program committee of the 19th International Static Analysis Symposium (SAS 2012), Deauville, France, 11–13 September 2012, and local organizer of SAS 2012 and affiliated events NSAD 2012, SASB'12 2012, TAPAS 2012, Deauville, France, 10–14 September 2012.

Antoine Miné was a member of the program committee of the Second International Workshop on Safety and Security in Cyber-Physical Systems (SSCPS 2012); Washington, DC, USA, 20–22 June 2012. Antoine Miné is a member of the program committee of the 20th International Static Analysis Symposium (SAS 2013), Seattle, WA, USA, 20–22 June 2013.

— Xavier Rival is member of the steering committee of the Workshop on Tools for Automatic Program AnalysiS (TAPAS).

Xavier Rival was member of the program committee of the program committee the European Symposium On Programming (ESOP 2012), Tallinn, Estonia, March 24 - April 1, 2012; the 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2013 ERC), Rome, Italy, January 23-25, 2013; the program committee of the program committee the European Symposium On Programming (ESOP 2013), Rome, Italy, March 2013.

Participation in Conferences

POPL:

39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, USA, January 25–27, 2012.

Patick Cousot attended the symposium and gave a talk on an abstract interpretation framework for termination [17] .

Dagstuhl workshop:

Dagstuhl Seminar 12051 Analysis of Executables: Benefits and Challenges, Dagstuhl, Germany, January 29–February 3rd, 2012.

Xavier Rival attended the workshop and gave a talk on the verification of programs manipulating complex data-structures.

TSD:

2th Tsingshua Software Day (Tsinghua University, Beijing, China, March 15, 2012).

Patrick Cousot gave a talk on automatic large-scale software verification by abstract interpretation.

SBFM:

Workshop on Systems Biology and Formals Methods (New York, NY, USA, March 29-30, 2012).

Patrick Cousot, Jérôme Feret, and Norman Ferns attended to the workshop. Patrick Cousot and Jérôme Feret co-chaired the workshop. Patrick Cousot gave a talk called “A Causual Introduction to Abstract Interpretation” and Jérôme Feret gave a talk on model reduction of differential systems. Patrick Cousot and Jérôme Feret chaired some sessions.

ESOP:

European Symposium on Programming (Tallinn, Estonia, March 24 – April 1, 2012)

Xavier Rival attended the conference. Xavier Rival chaired a session.

Bellairs Workshop:

Workshop on Theory of Markov Processes (Bellairs Research Institute, Holetown, Barbados, April 2-6, 2012).

Jérôme Feret and Norman Ferns attended to the workshop. Jérôme Feret gave a talk on model reduction of stochastic semantics. Norman Ferns gave a talk on bisimulation metrics for continuous Markov decision processes.

NFM:

4th NASA Formal Methods Symposium (Norfolk, Virginia, April 3-5, 2012).

Patrick Cousot gave a talk on formal verification by abstract interpretation [12] .

JCOMP:

Cinquièmes rencontres de la communauté française de compilation (Rennes, France, 18–20 June 2012).

Antoine Miné attended the workshop and gave a talk.

WING:

Fourth International Workshop on Invariant Generation (Manchester, UK, 30 June 2012).

Antoine Miné attended the workshop and gave an invited talk.

FMSB:

Workshop on Formal Methods in Systems Biology (Berkeley, USA, July 7-8, 2012).

Jérôme Feret gave a talk on the model reduction of differential systems.

Dagstuhl workshop:

Information Flow and Its Applications (Schloss Dagstuhl, Dagstuhl, Germany, August 26-31, 2012).

Jérôme Feret and Jonathan Hayman attended to the workshop. Jérôme Feret gave a talk on model reduction of differential semantics. Jonathan Hayman gave a talk on the semantics of Kappa and causal compression. Jérôme Feret chaired a session.

NSAD:

Fourth International Workshop on Numerical and Symbolic Abstract Domains (Deauville, France, September 10, 2012).

Mehdi Bouaziz, Tie Cheng, David Delmas, Antoine Miné, Xavier Rival, Antoine Toubhans, and Caterina Urban attended the workshop. Xavier Rival chaired a session. Mehdi Bouaziz and Antoine Miné gave a talk [14] , [23] .

SASB:

Third International Workshop on Static Analysis and Systems Biology (Deauville, France, September 10, 2012).

Ferdinanda Camporesi, Jérôme Feret, Norman Ferns, and Jonathan Hayman attended to the workshop. Jérôme Feret co-chaired the workshop and chaired half of the sessions.

SAS:

19th International Static Analysis Symposium (Deauville, France, September 11-13, 2012).

Mehdi Bouaziz, Ferdinanda Camporesi, Tie Cheng, David Delmas, Jérôme Feret, Norman Ferns, Jonathan Hayman, Vincent Laviron, Antoine Miné, Xavier Rival, Caterina Urban, and Antoine Toubhans attended the conference. Antoine Miné co-chaired the conference and chaired two sessions. Tie Cheng gave a talk [16] .

TAPAS:

Third International Workshop on Tools for Automatic Program Analysis (Deauville, France, Italy, France, September 14, 2012).

Ferdinanda Camporesi, Tie Cheng, David Delmas, Jérôme Feret, Norman Ferns, Jonathan Hayman, Antoine Miné, Xavier Rival, Antoine Toubhans, and Caterina Urban attended the workshop.

Dagstuhl workshop:

Coalgebraic Information Flow and Its Applications, Schloss Dagstuhl, Dagstuhl, Germany, October 7-12, 2012.

Norman Ferns attended the workshop.

SBE:

Systems Biology Europe, Madrid, Spain, October 16-17, 2012.

Jérôme Feret gave a talk on the model reduction of differential systems.

Workshop MSR

Workshop on “MSR-Inria joint centre”, Cambridge (UK), November 5–6, 2012.

Xavier Rival attended the workshop and chaired a session. Xavier Rival gave a demo of Astrée .

Workshop lif

Workshop “Let's imagine the future”, Rennes (France), November 7–8, 2012.

Xavier Rival attended the workshop and gave a talk on the verification of embedded programs manipulating complex data-structures.

MOVEP:

10th school of Modelling and Verifying Parallel Processes (Marseille, France, 3–7 Dec. 2012).

Antoine Miné attended the school and gave a talk [24] .

APLAS:

10th Asian Symposium on Programming Languages and Systems (Kyoto, Japan, 11–13 Dec. 2012).

Mehdi Bouaziz and Xavier Rival attended to the conference. Mehdi Bouaziz and Xavier Rival gave a talk [15] , [26] .

FSTTCS:

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, December 15-17, 2012.

Jonathan Hayman attended the conference and gave a talk [20] .

Invitations and Participation in Seminars

— Patrick Cousot gave an invited talk at the Computer Science PhD Day, Aula Magna Silvio Trentin, Universitá Ca' Foscari di Venezia, Italy, March 12th, 2012, and a distinguished lecture at the School of Computer Science of Carnegie Mellon University, Pittsburgh, PA, USA, April 12, 2012.

— Jérôme Feret gave some talks on model reduction for signaling pathways at the IMDEA-Softaware (Madrid, Spain) on the 15th of October, 2012, and at the Working Group of the Symbiose team-project (Rennes, France) on the 15th of November, 2012.

— Jonathan Hayman gave a talk at the Working Group on Computational Biology of the École normale supérieure (Paris, France) on the 28th of February, 2012, a talk at the Working Group of CEA List (Saclay, France) on 10th of April, 2012, and a talk at the seminar of the PPS team (Paris, France) on the 14th of June, 2012, about the semantics of Kappa and its causal compression.

— Xavier Rival gave a talk on “MemCAD, A Modular Abstract Domain for Reasoning on Memory States” at Microsoft Research (Redmond, USA) on the 23rd of July, 2012. Xavier Rival gave a talk on “Abstract domains for shape analysis” at CEA, on the 18th of February, 2012. Xavier Rival gave a talk on “MemCAD, a Modular Abstract domain for Reasoning about Memory States”, at the Technical University of Vienna (TUW) on the 4th of September 2012.